Class Number Relations from a Computational Point of View
نویسندگان
چکیده
منابع مشابه
Class Number Relations from a Computational Point of View
Brauer and Kuroda showed in the fifties how in a Galois extension of number fields, relations between permutation characters of subgroups provide relations between invariants, such as the discriminant, class number and regulator, of the corresponding intermediate fields. In this paper we investigate various computational aspects of these relations, we present examples, and we give a method to a...
متن کاملIdeality and Subideality from a Computational Point of View
Why should Law need automated proof systems? The answer to this question implies an answer to the following question: Is logic needed in Law? In fact it has been argued that logics are useless for Law (see, for example, Kelsen 1989). We believe that logic, and deontic logics in particular — but also modal logics — have a role to play in Law; for example if one wants to study what the relationsh...
متن کاملComputational Anatomy from a Geometric point of view
Lecture notes for the Geometry, Mechanics and Control 8th Intl. Young Researchers Workshop 2013 held in Barcelona. This document presents the mathematical framework that has been developed in the field of computational anatomy in the last fifteen years. We will focus in particular on the use of right-invariant metrics on diffeomorphism groups and its recent developments.
متن کاملAristotelian Syntax from a Computational-Combinatorial Point of View
This paper translates Aristotle’s syllogistic logic of the Analytica priora into the sphere of computational-combinatorical research methods. The task is accomplished by formalising Aristotle’s logical system in terms of rule-based reduction relations on a suitable basic set, which allow us to apply standard concepts of the theory of such structures (Newman lemma) to the ancient logical system....
متن کاملA Computational View of Interior Point Methods
Many issues that are crucial for an e cient implementation of an interior point algorithm are addressed in this chapter. To start with, a prototype primaldual algorithm is presented. Next, many tricks that make it e cient in practice are discussed in detail. Those include: preprocessing techniques, initialization approaches, methods for computing search directions (and the underlying linear alg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2001
ISSN: 0747-7171
DOI: 10.1006/jsco.1999.1016